• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه
تعداد ۱۵۵ پاسخ غیر تکراری از ۱۵۹ پاسخ تکراری در مدت زمان ۰,۴۵ ثانیه یافت شد.

21. Computability, complexity, and languages : fundamentals of theoretical computer science

پدیدآورنده: Martin D. Davis, Ron Sigal, Elaine J. Weyuker

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Machine theory,، Computational complexity,، Formal languages

رده :
QA
267
.
D285C6
1994
مشاهده در قفسه مجازی RIS Bibtex ISO

22. Computability, complexity, and languages : fundamentals of theoretical computer science

پدیدآورنده: Martin D. Davis, Elaine J. Weyuker

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Machine theory,، Computational complexity,، Formal languages

رده :
QA
267
.
D285C6
مشاهده در قفسه مجازی RIS Bibtex ISO

23. Computation and automata

پدیدآورنده: Saloma, Arto

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

موضوع: Computable functions ► Computational complexity ► Sequential machine theory

رده :
511
S173c
مشاهده در قفسه مجازی RIS Bibtex ISO

24. Computation and automata

پدیدآورنده: Salomaa, Arto

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Computable functions,، Computational complexity,، Sequential machine theory

رده :
QA
9
.
59
.
S25
1985
مشاهده در قفسه مجازی RIS Bibtex ISO

25. Computation and automata

پدیدآورنده: Arto Salomaa

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Computable functions,، Computational complexity,، Sequential machine theory

رده :
QA
9
.
59
.
S25
مشاهده در قفسه مجازی RIS Bibtex ISO

26. Computation and automata

پدیدآورنده: Salomaa, Arto

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Computable functions,، Computational complexity,Sequential machine theory

رده :
QA
9
.
59
.
S25
1985
مشاهده در قفسه مجازی RIS Bibtex ISO

27. Computation and automata

پدیدآورنده: Saloma, Arto

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

موضوع: Computable functions ► Computational complexity ► Sequential machine theory

رده :
511
S173c
مشاهده در قفسه مجازی RIS Bibtex ISO

28. Computation theory : Fifth Symposium, Zaborow, Poland, December 3-8, 1984: Proceedings

پدیدآورنده: edited by Andrzej Skowron

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Machine theory,Congresses ، Computational complexity

رده :
QA
76
.
L28
Vol
.
208
مشاهده در قفسه مجازی RIS Bibtex ISO

29. Computation theory and logic

پدیدآورنده: Egon Borger )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Machine theory,، Computational complexity,، Rodding, Dieter, 7391-

رده :
QA
76
.
L28
Vol
.
270
مشاهده در قفسه مجازی RIS Bibtex ISO

30. Computation theory and logic

پدیدآورنده: Egon Borger )ed.(

کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)

موضوع: ، Machine theory,، Computational complexity,، Rodding, Dietes, 7391-

رده :
QA
267
.
C588
1987
مشاهده در قفسه مجازی RIS Bibtex ISO

31. Computation theory : fifth symposium, Zaborow, Poland, December 3-8, 1984 : proceedings

پدیدآورنده: edited by Andrzej Skowron

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: Congresses ، Machine theory,Congresses ، Computational complexity

رده :
QA
76
.
L4
v
.
208
مشاهده در قفسه مجازی RIS Bibtex ISO

32. Computation theory: fifth symposium, Zaborow, Poland, Decomber 3-8, 1984: proceedings

پدیدآورنده: edited by Andrzej Skowron

کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)

موضوع: Congresses ، Machine theory,Congresses ، Computational complexity

رده :
QA
267
.
C59
1984
مشاهده در قفسه مجازی RIS Bibtex ISO

33. Concise guide to computation theor

پدیدآورنده: / Akira Maruoka

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computational complexity.,Machine theory.,Computable functions.

رده :
QA
,
267
.
7
,.
M378
,
2011
مشاهده در قفسه مجازی RIS Bibtex ISO

34. Concise guide to computation theory

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computational complexity. ; Machine theory. ; Computable functions. ;

رده :
RIS Bibtex ISO

35. Elements of computation theory

پدیدآورنده: / Arindama Singh

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Machine theory.,Computational complexity.,Computer science.

رده :
QA
,
267
,.
S55
,
2009
مشاهده در قفسه مجازی RIS Bibtex ISO

36. Elements of the theory of computation

پدیدآورنده: / Harry R. Lewis, Christos H. Papadimitriou

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical

رده :
QA267
.
L49
1998
مشاهده در قفسه مجازی RIS Bibtex ISO

37. Elements of the theory of computation

پدیدآورنده: Harry R. Lewis, Christos H. Papadimitriou

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه زنجان (زنجان)

موضوع: ، Machine theory,، Formal languages,، Computational complexity

رده :
QA
267
.
L49
1998
مشاهده در قفسه مجازی RIS Bibtex ISO

38. Elements of the theory of computation

پدیدآورنده: Lewis, Harry R

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Machine theory,Formal languages,، Computational complexity,، Logic, Symbolic and mathematical

رده :
QA
267
.
L49
مشاهده در قفسه مجازی RIS Bibtex ISO

39. Elements of the theory of computation

پدیدآورنده: / Harry R. Lewis, Christos H. Papadimitriou

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical

رده :
‭
QA267
‬ ‭.
L49
1998
‬
مشاهده در قفسه مجازی RIS Bibtex ISO

40. Elements of the theory of computation

پدیدآورنده: / Harry R. Lewis

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)

موضوع: Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical

رده :
QA267
.
L49
مشاهده در قفسه مجازی RIS Bibtex ISO
  • »
  • 8
  • 7
  • 6
  • 5
  • 4
  • 3
  • 2
  • 1
  • «

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال